<body>
Command-line interface to the simulator.
</body>
